Puente entre conocimiento matemático bibliográfico y formalizado Una nueva capa puente alinea publicaciones matemáticas con pruebas formales, midiendo la cobertura de formalización de cada artículo. 2026-06-11 · 2 min
